COMMENT ⊗   VALID 00002 PAGES
C REC  PAGE   DESCRIPTION
C00001 00001
C00002 00002	@make(letterhead,Phone"497-4330",Who "John McCarthy", Logo Old, Department CSD)                    
C00005 ENDMK
C⊗;
@make(letterhead,Phone"497-4330",Who "John McCarthy", Logo Old, Department CSD)                    
@style[indent 5]
@blankspace ( 8 lines)
@begin(address)
Professor Richard C. T. Lee
Computer and Decision Sciences
Tsinghua University
Hsinchu
Taiwan, ROC
@end(address)
@greeting(Dear Professor Lee:)
@begin (body)
         

	I am going to the Far East again in connection with lecturing
at the 20th anniversary meeting of the Research Institute of
Mathematical Sciences at Kyoto University.  I would like to take
the occasion to visit Taiwan again, this time for perhaps a week.
Naturally I would like to visit Tsinghua University again.

	The meeting in Kyoto is on Monday and Tuesday, May 23 and 24,
1983.  Tentatively, it would seem convenient to spend the previous
week in Taiwan, but I'm not sure that my Japanese host, Professor
Takasu, doesn't have some other plan.

	Is a visit to your Department convenient in May?  Do you
have a preference as to timing?  Can you recommend other people
with whom I may have mutual interests?  I have new results
on the problem of representing common sense knowledge and
common sense reasoning in the computer, but I could also talk
about proving assertions about programs.
@end(body)
Sincerely,
 
   
    
John McCarthy
Professor of Computer Science